Delete flask tools build target and add to .hgignore.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/.hgignore b/.hgignore
index 2f1962d1a0b08d4a6582810bf2dfbdeb464e8198..434d5d187fad985c2056b10ce799e1871d4e05af 100644 (file)
--- a/.hgignore
+++ b/.hgignore
@@ -114,6 +114,7 @@
 ^tools/firmware/vmxassist/gen$
 ^tools/firmware/vmxassist/offsets\.h$
 ^tools/firmware/vmxassist/vmxassist$
+^tools/flask/loadpolicy/flask-loadpolicy$
 ^tools/ioemu/\.pc/.*$
 ^tools/ioemu/config-host\.h$
 ^tools/ioemu/config-host\.mak$

diff --git a/tools/flask/loadpolicy/flask-loadpolicy b/tools/flask/loadpolicy/flask-loadpolicy
deleted file mode 100755 (executable)
index 61a0c80..0000000
Binary files a/tools/flask/loadpolicy/flask-loadpolicy and /dev/null differ